121. Languages and compilers for parallel computing
پدیدآورنده : \ Xipeng Shen , Frank Mueller, James Tuck (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Parallel programming (Computer science) -- Congresses.,Parallel processing (Electronic computers) -- Congresses,Computer software -- Congresses.,برنامه‌نویسی موازی -- کنگره ها ,پردازش موازی -- کنگره ها ,نرم‌افزار -- کنگره ها
رده :
QA
76
.
642
.
L32
2016
E-Book
,
122. Languages and compilers for parallel computing :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel programming (Computer science) ; Congresses. ;
123. Languages and compilers for parallel computing : fourth International Workshop Santa Clara, California, USA, August 7-9, 1991 : proceedings
پدیدآورنده : U. Banerjee...]et al.[, eds
کتابخانه: (طهران)
موضوع : Congresses ، Parallel programming )Computer science(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
589
124. Languages and compilers for parallel computing : 7th international workshop, Ithaca,NY,USA,August 8-10,1994 : proceedings
پدیدآورنده : K.Pingali ... )et al.(, eds
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Parallel programming )Computer science(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L4
v
.
892
125. Lectures on parallel computation
پدیدآورنده : edited by Alan Gibbons, Paul Spirakis
کتابخانه: (طهران)
موضوع : ، Parallel computers,، Parallel processing )Electronic computers(,، Parallel programming )Computer science(
رده :
QA
76
.
58
.
L4
126. Logic for concurrency and synchronisation
پدیدآورنده : / edited by Ruy J.G.B. de Queiroz
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Proof theory,Modality (Logic),Parallel programming (Computer science)
رده :
QA9
.
54
.
L64
2003
127. Logic for concurrency and synchronisation]CD[
پدیدآورنده : edited by Ruy J.G.B. de Queiroz
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Proof theory,، Modality )Logic(,، Parallel programming )Computer science(
رده :
CD
1743-35
128. Logic for concurrency and synchronisation
پدیدآورنده : / edited by Ruy J.G.B. de Queiroz
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Proof theory,Modality (Logic),Parallel programming (Computer science),Electronic books. , local
رده :
E-BOOK
129. ML with concurrency: design, analysis, implementation, and application
پدیدآورنده : Nielson, Flemming
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، ML )Computer program language(,، Functional programming )Computer science(,، Parallel programming )Computer science(
رده :
QA
76
.
73
.
M6
.
N54
1996
130. ML with concurrency : design, analysis, implementation, and application
پدیدآورنده : Nielson, Flemming
کتابخانه: (طهران)
موضوع : ، ML )Computer program language(,، Functional programming )Computer science(,، Parallel programming )Computer science(
رده :
QA
76
.
73
.
M6
N54
1996
131. ML with concurrency : design, analysis, implementation, and applications
پدیدآورنده : Nielson, Flemming, 5591-
کتابخانه: (طهران)
موضوع : ، ML )Computer program language(,، Functional programming )Computer science(,، Parallel programming )Computer science(
رده :
QA
76
.
73
.
M6N5
132. MPI--the complete reference
پدیدآورنده : / Marc Snir ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Parallel programming (Computer science),Subroutines (Computer programs)
رده :
QA76
.
642
.
M65
1998
133. MPI--the complete reference
پدیدآورنده : Marc Snir... ]et al.[
کتابخانه: (طهران)
موضوع : ، Parallel programming )Computer science(,، Subroutines )Computer programs(
رده :
QA
76
.
642
.
M674
1998
134. Massively parallel models of computation
پدیدآورنده : Valmir C. Barbosa
کتابخانه: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع : Parallel programming (Computer science),Parallel processing (Electronic computers),Neural networks (Computer science),Parallel programming
رده :
QA
,
76
.
642
,
B37
,
1993
135. Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24-October 1,1986: Proceedings
پدیدآورنده : Marisa Venturini Zilli )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Formal languages -- Semantics,Congresses ، Parallel programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
280
136. Methods and tools of parallel programming multicomputers
پدیدآورنده : Ching-Hsien Hsu, Victor Malyshkin (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel programming (Computer science), Congresses
137. Modern multithreading
پدیدآورنده : Richard H. Carver, Kuo-Chung Tai
کتابخانه: كتابخانه دانشگاه صنعتي اروميه (أذربایجان الغربیة)
موضوع : Parallel programming (Computer science),Threads (Computer programs)
رده :
QA
,
76
.
642
,.
C38M6
,
2006
138. Modern multithreading :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel programming (Computer science) ;
139. Modern multithreading :implementing, testing, and debugging multithreaded Java and C++/Pthreads/Win32 programs
پدیدآورنده : Carver, Richard H.
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Parallel programming )Computer science(,، Threads )Computer programs(
140. Multicore Software Engineering, Performance, and Tools
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,Multiprocessors -- Congresses,Parallel programming (Computer science) -- Congresses,نرم‌افزار -- مهندسی -- کنگره‌ها,چندپردازنده‌ها -- کنگره‌ها,برنامه‌نویسی موازی -- کنگره‌ها
رده :
E-Book
,
